Static variable - PDFSEARCH.IO - Document Search Engine

Static variable
Results: 93

#	Item
81	A Survey of Static Variable Ordering Heuristics for Efficient BDD/MDD Construction Sanjay Kulhari Add to Reading List Source URL: alumni.cs.ucr.edu Language: English - Date: 2009-01-06 17:15:24 Heuristics Binary decision diagram Boolean algebra Diagrams Model checking Heuristic function Directed acyclic graph Heuristic Mathematical optimization Mathematics Graph theory Operations research
82	Formal Verification of Dead Code Elimination in Isabelle/HOL Jan Olaf Blech Add to Reading List Source URL: www.jblech.de Language: English - Date: 2007-11-14 03:32:18 Programming language theory Programming language implementation Compiler optimizations Static single assignment form Data-flow analysis Live variable analysis Eval Compiler Dead code elimination Computing Software engineering Compiler construction
83	Efficiently Computing Static Single Assignment Form and the Control Dependence Graph Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2007-01-28 21:27:26 Compiler optimization Dominator Mathematical optimization Variable Algorithm Register allocation Tree decomposition Mathematics Compiler construction Static single assignment form
84	14th PSCC, Sevilla, 24-28 June[removed]Session 35, Paper 4, Page 1 Add to Reading List Source URL: www.pscc-central.org Language: English - Date: 2008-12-17 11:06:49 Saturable reactor AC power Electric power system Static inverter plant Transformer Static VAR compensator Variable shunt reactor Electromagnetism Electric power Electrical engineering
85	s Energy Sector Power Transmission Division Add to Reading List Source URL: www.energy.siemens.com Language: English - Date: 2009-10-26 05:15:22 Static VAR compensator National Grid Turnkey Variable shunt reactor Electric power Energy Electromagnetism
86	CONVERTER Stations Add to Reading List Source URL: www.balticcable.com Language: English - Date: 2009-04-05 13:07:18 High-voltage direct current Energy in Denmark E.ON Static inverter plant Fenno–Skan Konti–Skan Valve hall Baltic Cable Variable-frequency drive Electric power Energy Energy in Sweden
87	Efficiently Computing Static Single Assignment Form and the Control Dependence Graph Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2007-10-03 17:24:07 Compiler optimization Dominator Mathematical optimization Variable Algorithm Register allocation Tree decomposition Mathematics Compiler construction Static single assignment form
88	PDF Document Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2006-03-23 14:15:01 Procedural programming languages C++ Thinking Machines Corporation Static single assignment form ALGOL 68 C* Assignment C++ classes Variable Software engineering Computing Programming language theory
89	PDF Document Add to Reading List Source URL: www.complang.tuwien.ac.at Language: English - Date: 2003-09-29 12:38:11 Stack machines Stack Subroutine Forth Scope Local variable Algorithm Static single assignment form Call stack Software engineering Computing Computer programming
90	PDF Document Add to Reading List Source URL: www05.abb.com Language: English - Date: 2012-10-15 02:39:08 Variable shunt reactor Static VAR compensator VSR Transformer Tap AC power Electric power transmission Capacitor Volt-ampere reactive Electromagnetism Electric power Energy